Applying Model-Based Testing to HTML Rendering Engines - A Case Study
نویسندگان
چکیده
Conformance testing is a widely used approach to validate a system correct w.r.t. its specification. This approach is mainly used for behavior-oriented systems. BAiT (Behavior Adaptation in Testing) is a conformance testing approach for data-intensive reactive systems. In this paper, we validate the applicability of BAiT to systems, which are not behavior-oriented (reactive) but document-centered. In particular, we apply BAiT to the test of the HTML rendering engine Gecko, which is used by Mozilla Firefox. In order to do so, we formally specify a part of the CSS box model in the specification language μCRL and implement a wrapper for the Gecko renderer. Then, we automatically generate test cases and run tests with BAiT in a controlled experiment in order to demonstrate our approach on the relevant part of Gecko.
منابع مشابه
Applying Grey E-S-QUAL Model to Evaluate the Gaps between Expectation and Perception of the Customer Based on E-services Quality: A Case Study of an Iranian Online Retailer
This study aims to apply Grey system based on modified E-S-Qual model to analyze e-service quality.Questionnaires on the basis of E-S-Qual model, which consisted in 7 dimensions, were distributed among customers of 5040.ir, an online retailer in Iran. 251 questionnaires were obtainedfrom the customer’s website. After applying the method and calculating the scores in each dimension, the gap betwe...
متن کاملA Smooth Transition to Modern mathoid-based Math Rendering in Wikipedia with Automatic Visual Regression Testing
Pixelated images of mathematical formulae, which are inaccessible to screen readers and computer algebra systems, disappeared recently from Wikipedia. In this paper, we describe our efforts in maturing mathoid, the new services that provides better math rendering to Wikipedia, from a research prototype to a production service and a novel visual similarity image comparison tool designed for regr...
متن کاملManaging Complex Documents Over the WWW: A Case Study for XML
The use of the WWW as a communication medium for knowledge engineers and software designers is limited by the lack of tools for writing, sharing, and verifying documents written with design notations. For instance, the Z language has a rich set of mathematical characters, and requires graphic-rich boxes and schemas for structuring a specification document. It is difficult to integrate Z specifi...
متن کاملResearch and Assessment of Applying Dimethyl Ether “DME” Extracted from Natural Gas “Ng”, on Diesel Engine as a Clean Fuel (TECHNICAL NOTE)
Due to the shortage of liquid hydrocarbon fuels for compression ignition engines, researchers have constantly been looking for alternative fuels. Recently, dim ethyl ether (DME) with its interesting properties, such as high cetane number and low exhaust emission has drawn a lot of interst as a suitable fuel for diesel engines. The main objective of this study was to assess the potentials and fe...
متن کاملApplying Ontology to the Web: A Case Study
This paper describes the use of Simple HTML Ontology Extensions (SHOE) in a real world internet application. SHOE allows authors to add semantic content to web pages and to relate this content to common ontologies that provide contextual information about the domain. Using this information, query systems can provide more accurate responses than are possible with the search engines available on ...
متن کامل